Safe dependency atoms and possibility operators in team semantics

Chemical Possibility and Modal Semantics

This paper is a study of a distinctively chemical notion of possibility. This is the notion of possibility that occurs in chemical discourses when chemists speak of the possibility or impossibility of achieving a given result through chemical means. This notion pertains to the possibility of processes, not of compounds, so it differs from the kind of chemical possibility mentioned in Wittgenste...

Counting in Team Semantics

We explore several counting constructs for logics with team semantics. Counting is an important task in numerous applications, but with a somewhat delicate relationship to logic. Team semantics on the other side is the mathematical basis of modern logics of dependence and independence, in which formulae are evaluated not for a single assignment of values to variables, but for a set of such assi...

On the Possibility of Semantics

Domain semantics of possibility computations

Conceivability, Possibility and Two-Dimensional Semantics

Kripke (1980) famously separates the metaphysical and epistemic modal domains, with supposed necessary a posteriori identity statements such as ‘Hesperus is Phosphorus’, appearing to create an irreconcilable gap between conceivability and possibility. In response to this problem, David Chalmers (2002, 2004a, 2006) uses two-dimensional modal semantics (2DS) to claim that conceivability entails p...